Structured Output Layer with Auxiliary Targets for Context-Dependent Acoustic Modelling Pawel Swietojanski, Peter Bell, Steve Renals The Centre for Speech Technology Research, University of Edinburgh, United Kingdom {p.s

Source URL: www.cstr.ed.ac.uk

• Artificial neural networks
• Machine learning
• Computational neuroscience
• Applied mathematics
• Artificial intelligence
• Computational statistics
• Automatic identification and data capture
• Computer accessibility
• Speech recognition
• Language model
• Convolutional neural network
• Perceptron

A Vision of Collaborative Verification-Driven Engineering of Hybrid Systems Stefan Mitsch 1

Source URL: www.cs.bham.ac.uk

• Software
• Theoretical computer science
• Systems engineering
• Unified Modeling Language
• Formal methods
• Logic in computer science
• KeY
• Hybrid system
• Formal verification
• First-order logic
• Proof theory
• Model checking

A Domain-Specific Language for Programming in the Tile Assembly Model∗ David Doty† Matthew J. Patitz‡

Source URL: www.self-assembly.net

An Approach to Employ Modeling in a Traditional Computer Science Curriculum or: Why Posing Essentials of the Object Constraint Language without Objects and Constraints? Martin Gogolla University of Bremen

Source URL: www.db.informatik.uni-bremen.de

• Unified Modeling Language
• ISO standards
• Object Constraint Language
• ECO
• Metamodeling
• Relational model
• Relational algebra
• Profile
• Web Ontology Language
• Relational database
• Null
• Entityrelationship model

UML and OCL Transformation Model Analysis: Checking Invariant Independence Martin Gogolla, Frank Hilken Database Systems Group, University of Bremen, Germany {gogolla|fhilken}@informatik.uni-bremen.de

Source URL: www.db.informatik.uni-bremen.de

• Unified Modeling Language
• Systems engineering
• Scientific modeling
• ECO
• Model-driven architecture
• Metamodeling
• Entityrelationship model
• Invariant
• Model transformation
• Class diagram
• Object Constraint Language
• Executable UML

LDC Forced Aligner Xiaoyi Ma Linguistic Data Consortium 3600 Market St. Suite 810 Philadelphia, PAE-mail:

Source URL: www.ldc.upenn.edu

• Computational linguistics
• Phonology
• Analytic languages
• English phonology
• Natural language processing
• CMU Pronouncing Dictionary
• Speech recognition
• Speech synthesis
• Acoustic model
• Standard Chinese
• Phoneme
• English language

A Security Domain Model for Static Analysis and Verification of Software Programs Alan B. Shaffer Naval Postgraduate School Computer Science Dept Monterey, CA, USA

Source URL: cisr.nps.edu

• Crime prevention
• Cryptography
• Information governance
• National security
• Computer security
• Covert channel
• Information flow
• Program slicing
• Mandatory access control
• Alloy Analyzer
• Domain-specific language
• Information security

On the Logic of the Ontological Argument∗ Paul E. Oppenheimer Thinking Machines Corporation and Edward N. Zalta Philosophy Department

Source URL: www.peoppenheimer.org

• Logic
• Mathematical logic
• Model theory
• Philosophy of language
• Predicate logic
• Arguments for the existence of God
• First-order logic
• Ontological argument
• Definite description
• Interpretation
• Atomic formula
• Constructible universe

Leveraging Geographical Metadata to Improve Search over Social Media Alexander Kotov Yu Wang

Source URL: www2013.wwwconference.org

• Information science
• Information retrieval
• Statistical natural language processing
• Information retrieval evaluation
• Natural language processing
• Query expansion
• Relevance feedback
• Topic model
• Relevance
• Language model
• Maximum likelihood estimation
• Latent Dirichlet allocation

Edit DistanceGraphical Models .........

Source URL: genome.sph.umich.edu

• C++
• Computer programming
• Software engineering
• Hidden Markov model
• C++ string handling
• Programming language theory